| 1. | Repeated applications of the Collatz function can be represented as an abstract machine that handles strings of bits.
Les applications répétées de la fonction de Syracuse peuvent être représentées comme une machine abstraite traitant d'un processus binaire. |
| 2. | The operational semantics of ISWIM are defined using Landin's SECD machine and use call-by-value, that is eager evaluation.
La sémantique opérationnelle de ISWIM est définie à l'aide de la machine abstraite SECD et utilise l'appel par valeur. |
| 3. | An abstract machine implemented as a software simulation, or for which an interpreter exists, is called a virtual machine.
Une machine abstraite implémentée par un logiciel de simulation ou pour laquelle un interprète existe, est appelée une machine virtuelle. |
| 4. | The acronym CAML originally stood for Categorical Abstract Machine Language, but OCaml omits this abstract machine.
L'acronyme CAML provient de Categorical Abstract Machine Language, un modèle de machine abstraite qui n'est cependant plus utilisé dans les versions récentes de OCaml. |
| 5. | An abstract machine can also refer to a microprocessor design which has yet to be (or is not intended to be) implemented as hardware.
Une machine abstraite peut aussi être un projet de microprocesseur pas encore réalisé, ou servant seulement de modèle. |
| 6. | The Krivine machine is based on two concepts related to lambda calculus, namely head reduction and call by name.
La machine abstraite de Krivine est sous-tendue par deux concepts relatifs au lambda-calcul, à savoir la réduction en forme normale de tête et l'appel par nom. |
| 7. | Like Turing used an abstract machine to describe formally the notion of algorithm, Krivine used an abstract machine to describe formally the notion of head normal form reduction.
De la même manière que Turing a utilisé une machine abstraite pour définir formellement la notion d'algorithme, Krivine a utilisé une machine abstraite pour définir formellement la réduction en forme normale de tête. |
| 8. | Like Turing used an abstract machine to describe formally the notion of algorithm, Krivine used an abstract machine to describe formally the notion of head normal form reduction.
De la même manière que Turing a utilisé une machine abstraite pour définir formellement la notion d'algorithme, Krivine a utilisé une machine abstraite pour définir formellement la réduction en forme normale de tête. |
